HASE: A Flexible Toolset for Computer Architects
نویسندگان
چکیده
منابع مشابه
MOSEL: A FLexible Toolset for Monadic Second-Order Logic
Mosel is a new tool-set for the analysis and veri cation in Monadic Second-order Logic. In this paper we concentrate on the system's design: Mosel is a tool-set to include a exible set of decision procedures for several theories of the logic complemented by a variety of support components for input format translations, visualization, and interfaces to other logics and tools. The main distinguis...
متن کاملOptimizing Flexible Manufacturing System: A Developed Computer Simulation Model
In recent years, flexible manufacturing system as a response to market demands has been proposed to increase product diversity, optimum utilization of machines andperiods of short-term products.The development of computer systems has provided the ability to build machines with high functionality and the necessary flexibility to perform various operations. However, due to the complexity and the ...
متن کاملComputer validated proofs of a toolset for adaptable arithmetic
Most existing implementations ofmultiple precision arithmetic demand that the user sets the precision a priori. Some libraries are said adaptable in the sense that they dynamically change the precision of each intermediate operation individually to deliver the target accuracy according to the actual inputs. We present in this text a new adaptable numeric core inspired both from floating point e...
متن کاملA toolset for the reengineering of complex computer systems
This paper describes a set of tools for the reengineering of computer-based systems, in particular software. The toolset is based on an abstract intermediate representation (IR) which incorporates the system software architecture at five levels of granularity: program level, task level, package/object instance level, subprogram level and statement level. The toolset provides a graphical user in...
متن کاملModel-Integrated Design Toolset for Polymorphous Computer-Based Systems
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient design for these systems requires exploration along axes beyond those of traditional system design. In this paper we outline a model-integrated toolset to aid in the specification, analysis and synthesis of polymorphous appl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.10.755